Type inference - PDFSEARCH.IO - Document Search Engine

Type inference
Results: 490

#	Item
461	Let Should Not Be Generalised Dimitrios Vytiniotis Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2009-11-12 10:54:14 Computing Type class Type inference Type system Hindley–Milner Generalized algebraic data type Kind Parametric polymorphism Constraint Type theory Software engineering Programming language theory
462	Philosophy of Science, 1967, Vol. 34, 103–115. #74 Add to Reading List Source URL: mres.gmu.edu Language: English - Date: 2012-02-20 13:04:01 Statistical inference Statistical tests Psychometrics Statistical hypothesis testing Null hypothesis Statistical significance Statistical power Type I and type II errors F-test Statistics Hypothesis testing Design of experiments
463	Under consideration for publication in J. Functional Programming 1 Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2011-04-11 10:43:44 Type theory Data types C++ Procedural programming languages Functional programming Type class ALGOL 68 Type inference C Sharp Computing Software engineering Programming language theory
464	Package ‘semPLS’ August 29, 2013 Type Package Add to Reading List Source URL: cran.r-project.org Language: English - Date: 2013-08-29 14:00:17 Data analysis Science Bootstrapping Resampling .mobi Vector Booting JavaScript Plot Statistics Computing Statistical inference
465	Type Classes and Instance Chains: A Relational Approach Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2013-10-18 06:05:19 Computing Type system Ad-hoc polymorphism Polymorphism Parametric polymorphism Type inference Subtype polymorphism System F ML Type theory Software engineering Programming language theory
466	PolyAML: A Polymorphic Aspect-oriented Functional Programming Language Daniel S. Dantas Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2005-09-18 16:08:18 Type theory Data types Aspect-oriented software development Aspect-oriented programming Procedural programming languages Standard ML Type system Type inference Generalized algebraic data type Software engineering Computing Software development
467	P Values IFSPM Kolloquium Add to Reading List Source URL: www.biostat.uzh.ch Language: English - Date: 2010-12-17 07:52:10 Design of experiments Knowledge Statistical inference Null hypothesis Statistical hypothesis testing P-value Statistical power Type I and type II errors Bias Statistics Hypothesis testing Science
468	Curry A Tutorial Introduction Draft of December 5, 2007 Add to Reading List Source URL: www.informatik.uni-kiel.de Language: English - Date: 2007-12-05 04:38:13 Procedural programming languages Type theory Functional languages Literate programming Data types Curry Type inference Function C Software engineering Computing Computer programming
469	Journal of Personality and Social Psychology 1978, Vol. 36, No. 11, [removed] Add to Reading List Source URL: homepage.psy.utexas.edu Language: English - Date: 2007-08-13 19:17:27 Hypothesis testing Behavioural sciences Design of experiments Statistical inference Extraversion and introversion Hypothesis Statistical hypothesis testing Myers-Briggs Type Indicator Psychology Personality Science Mind
470	Liquid Types ∗ Patrick M. Rondon Add to Reading List Source URL: goto.ucsd.edu Language: English - Date: 2011-11-12 14:41:37 Software engineering Type system Type inference Valuation System F Function Hindley–Milner Subtype polymorphism Type theory Mathematics Programming language theory

UPDATE